This book constitutes the refereed proceedings of the 20th International Conference on Automated Deduction, CADE-20, held ...